home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / parcs / parcs.lha / sample / send2.parcs < prev    next >
Text File  |  1992-06-08  |  324b  |  20 lines
  1. defdomain from0to9 int{0..9}.
  2.  
  3. send([S,E,N,D,M,O,R,Y]) :-
  4.     from0to9(S,E,N,D,M,O,R,Y),
  5.     1000*S+100*E+10*N+D + 1000*M+100*O+10*R+E = 10000*M+1000*O+100*N+10*E+Y,
  6.     S!=0,M!=0,
  7.     alldif([S,E,N,D,M,O,R,Y]).
  8.  
  9.  
  10. alldif([]).
  11. alldif([A|X]) :- different(A,X),alldif(X).
  12.  
  13. different(A,[]).
  14. different(A,[B|X]) :- A!=B ,different(A,X).
  15.  
  16.  
  17.  
  18.  
  19.  
  20.